package prolog.fluents

import prolog.terms.{Const => c };
import prolog.terms.Copier;
import prolog.terms.Prog;

/**
  Builds an it
  erator from a list
*/
class ListSource1(Xs: c, p: Prog) extends prolog.fluents.JavaSource1,prolog.terms.Prog("p") {
      super.Copier.ConsToVector(Xs),p;
    }     